g:GrpSig. (gset)  PosetSig 

latex

Up	groups 1
Definitions of Statement	gset
Definitions	gset, PosetSig, t  T, x:A. B(x)
Lemmas	grp sig wf, bool wf, grp le wf, grp eq wf, grp car wf